A Unified Constraint Model for XML (Full version)
نویسندگان
چکیده
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, information preservation, etc. In this paper, we propose UCM, a model of integrity constraints for XML that is both simple and expressive. Because it relies on a single notion of keys and foreign keys, the UCM model is easy to use and makes formal reasoning possible. Because it relies on a powerful type system, the UCM model is expressive, capturing in a single framework the constraints found in relational databases, object-oriented schemas and XML DTDs. We study the problem of consistency of UCM constraints, look at the interaction between constraints and subtyping, and discuss algorithms for implementing these constraints.
منابع مشابه
Transforming Xml Schema Constraining Facets and Xml Queries to Object Constraint Language (ocl)
Unified Modeling Language UML became the main part of software development including web applications that use XML for exchanging structured data. That’s why there is a need for modeling XML elements with UML. Design Recovery or Reverse Engineering allows us to get conceptual schema which helps developers to understand systems and to ease its maintenance. A lot of XML Schema mapping methods foc...
متن کاملModeling of Constraints in Distributed Object-Oriented Environment By CHHANDA RAY DISSERTATION SUBMITTED FOR THE DEGREE OF DOCTOR OF PHILOSOPHY (ENGINEERING)
Object Oriented Data Modeling is gaining popularity because of its elegance in representing real world situations. On the other hand, Integrity constraints traditionally form an essential part of schema definition. In this context, Modeling of constraints in Object Oriented Model has been the focus of attention of many researchers in recent times. Integrating data from many heterogeneous source...
متن کاملTowards a Framework for Mapping Between UML/OCL and XML/XQuery
The Unified Modeling Language is the standard language for modeling systems. UML has been extended to model web applications. At the same time, Web technology has become largely relying on XML documents. The structure of XML documents, namely the XML schema or DTD for these documents can be modeled using UML data structures. UML tools are usually concerned with the generation of the structure a...
متن کاملVisual Modeling of XML Constraints Based on a New Extensible Constraint Markup Language
With the mature of e-business on the Internet, the eXtensible Markup Language (XML) is rapidly becoming the industry standard for business-to-business (B2B) data integration. While Document Type Definitions (DTDs) and XML Schemas can be used to specify and validate syntactic constraints on XML documents, currently there are no effective languages or tools for specifying and validating semantic ...
متن کاملGenetic Symbiosis Algorithm Generating Test Data for Constraint Automata
Constraint automata are a semantic model for XML modeling language. Testing correctness of mapping black-box components in XML to constraint automata is an important problem in analyzing the semantic model of XML and requires a collection of test data that cover different scenarios. In this paper, Genetic Algorithm (GA) is employed to generate such set of test cases. This test data generation i...
متن کامل